canonical functor

[数] 典范函子